49 research outputs found
Tropically convex constraint satisfaction
A semilinear relation S is max-closed if it is preserved by taking the
componentwise maximum. The constraint satisfaction problem for max-closed
semilinear constraints is at least as hard as determining the winner in Mean
Payoff Games, a notorious problem of open computational complexity. Mean Payoff
Games are known to be in the intersection of NP and co-NP, which is not known
for max-closed semilinear constraints. Semilinear relations that are max-closed
and additionally closed under translations have been called tropically convex
in the literature. One of our main results is a new duality for open tropically
convex relations, which puts the CSP for tropically convex semilinaer
constraints in general into NP intersected co-NP. This extends the
corresponding complexity result for scheduling under and-or precedence
constraints, or equivalently the max-atoms problem. To this end, we present a
characterization of max-closed semilinear relations in terms of syntactically
restricted first-order logic, and another characterization in terms of a finite
set of relations L that allow primitive positive definitions of all other
relations in the class. We also present a subclass of max-closed constraints
where the CSP is in P; this class generalizes the class of max-closed
constraints over finite domains, and the feasibility problem for max-closed
linear inequalities. Finally, we show that the class of max-closed semilinear
constraints is maximal in the sense that as soon as a single relation that is
not max-closed is added to L, the CSP becomes NP-hard.Comment: 29 pages, 2 figure
Linear MIM-Width of Trees
We provide an algorithm computing the linear maximum induced
matching width of a tree and an optimal layout.Comment: 19 pages, 7 figures, full version of WG19 paper of same nam
The level set method for the two-sided eigenproblem
We consider the max-plus analogue of the eigenproblem for matrix pencils
Ax=lambda Bx. We show that the spectrum of (A,B) (i.e., the set of possible
values of lambda), which is a finite union of intervals, can be computed in
pseudo-polynomial number of operations, by a (pseudo-polynomial) number of
calls to an oracle that computes the value of a mean payoff game. The proof
relies on the introduction of a spectral function, which we interpret in terms
of the least Chebyshev distance between Ax and lambda Bx. The spectrum is
obtained as the zero level set of this function.Comment: 34 pages, 4 figures. Changes with respect to the previous version: we
explain relation to mean-payoff games and discrete event systems, and show
that the reconstruction of spectrum is pseudopolynomia